div.code {
    background-color: @white;
    border: 1px solid @light-grey;
    font-family: monospace;
    width: 100%;
    height: 480px;
    white-space: pre;
    overflow: auto;
}